Introduction to Formal Specification with Z and VDM (McGraw-Hill International Series in Software Engineering)
by Deri Sheppard
ISBN 13: 9780077079079
Format: Paperback (398 pages) Publisher: McGraw-Hill Publishing Co. Published: 01 Nov 1994
Save for later
Robert Le Rossignol: Engineer of the Haber Process (Springer Biographies)
ISBN 13: 9783030297169
Format: Paperback (570 pages) Publisher: Springer Published: 26 Aug 2021